Complexity theory - PDFSEARCH.IO - Document Search Engine

Complexity theory
Results: 3600

#	Item
401	Local Checkability, No Strings Attached Klaus-Tycho Förster, Thomas Lüdi, Jochen Seidel, Roger Wattenhofer Wednesday – December 09, 2015 @MIT: Theory of Distributed Systems Group ETH Zurich – Distributed Computing Add to Reading List Source URL: www.disco.ethz.ch Language: English - Date: 2015-12-14 03:34:43 Complexity classes Distributed computing NP Computational complexity theory P NC
402	Auto-Approximation of Graph Computing Zechao Shang, Jeffrey Xu Yu The Chinese University of Hong Kong Motivation I Add to Reading List Source URL: acmsocc.github.io Language: English - Date: 2016-02-21 03:10:50 Mathematical analysis Mathematics Approximation algorithm Computational complexity theory Algorithm Pi Approximation error Logarithm
403	Microsoft Word - cvAF_may_2016.doc Add to Reading List Source URL: www.ppsw.rug.nl Language: English - Date: 2016-05-09 07:48:31 Complex systems theory Simulation Systems theory Subfields of sociology Social simulation Social complexity Sociology Klaus G. Troitzsch Scientific modelling Mathematical sociology Norm Agent-based model
404	Dekker, S. W. A. (2013). Drifting into failure: Complexity theory and the management of risk. In: Banerjee, S. (Ed.), Chaos and Complex Add to Reading List Source URL: sidneydekker.com Language: English - Date: 2014-02-27 19:45:09
405	On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness Ulrich Kohlenbach BRICSy Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:32:59 Complexity classes Computability theory Effective descriptive set theory Arithmetical hierarchy Hierarchy FO
406	JMLR: Workshop and Conference Proceedings vol 40:1–30, 2015 Computational Lower Bounds for Community Detection on Random Graphs Bruce Hajek Add to Reading List Source URL: jmlr.org Language: English - Date: 2015-07-20 20:08:36 Graph theory Computational complexity theory Mathematics NP-complete problems Dense subgraph Independent set Planted clique Clique Dense graph Hypergraph Graph coloring Subgraph isomorphism problem
407	The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-03-18 04:19:11 Logic Mathematics Constraint programming Abstraction Model theory Boolean satisfiability problem Electronic design automation Logic in computer science Complexity of constraint satisfaction Constraint satisfaction problem Satisfiability Binary relation
408	Local Checkability, No Strings Attached Klaus-Tycho Förster, Thomas Lüdi, Jochen Seidel, Roger Wattenhofer January 06, 2016 @ ICDCNSingapore ETH Zurich – Distributed Computing – www.disco.ethz.ch Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-01-06 03:53:49 Complexity classes Distributed computing NP Computational complexity theory P NC
409	MATH 669: COMBINATORICS, GEOMETRY AND COMPLEXITY OF INTEGER POINTS Alexander Barvinok Abstract. These are rather condensed notes, not really proofread or edited, presenting key definitions and results of the course that Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2011-05-27 13:17:33 Leech lattice Moonshine theory Lattice Spectral theory of ordinary differential equations Lambda calculus
410	Equihash: Asymmetric Proof-of-Work Based on the Generalized Birthday Problem Alex Biryukov Dmitry Khovratovich Add to Reading List Source URL: www.internetsociety.org Language: English - Date: 2016-02-22 10:06:03 Computational complexity theory Theory of computation Complexity classes Analysis of algorithms Finite fields NP Spacetime tradeoff Algorithm Time complexity IP P XTR

UPDATE